A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors TRTheodore P. Baker∗ Department of Computer Science Florida State University

Source URL: www.cs.fsu.edu

Towards a Unified Science of Religion University of Otago, 12–14 February 2010 All papers will be presented in the Valentine Common Room, at St Margaret’s College. Thursday Feb 11th 5.30 – 7.00 pm

Source URL: www.otago.ac.nz

UML as an Ontology Modelling Language Stephen Cranefield and Martin Purvis Department of Information Science University of Otago PO Box 56, Dunedin, New Zealand E-mail: fscranefield,

Source URL: sunsite.informatik.rwth-aachen.de

• Knowledge representation
• Software engineering
• Ontology
• ISO standards
• Information science
• Object Constraint Language
• Meta-Object Facility
• XML Metadata Interchange
• Metamodeling
• Unified Modeling Language
• Science
• Information

LIN KIN G BIOM ED IC A L LA N GU A GE IN F OR M A TION A N D K N O WL E D G E R E S O U R C E S : GO A N D U MLS I . N. S AR KAR * , 1 , M . N. C ANTOR * , 1 , R . GELM AN 1 , F . HAR TEL 2 AND Y. A. LUS S I ER § , 1 ,

Source URL: www.ccs.neu.edu

• Health informatics
• Medical classification
• Medical informatics
• SNOMED CT
• NCI Metathesaurus
• Ontology
• Gene Ontology
• BLAST
• Semantic network
• Science
• Bioinformatics
• Unified Medical Language System

Soil – the key to successful gardening

Source URL: www.ext.colostate.edu

• Soil science
• Soil texture
• Sedimentology
• Agriculture
• Sand
• Silt
• Unified Soil Classification System
• Loam
• Soil
• Land management
• Pedology

Aspects of Feedback in Intelligent Tutoring Systems for Modeling Education Proefschrift ter verkrijging van de graad van doctor

Source URL: portal.ou.nl

• Process modeling
• Systems science
• Science
• Enterprise modelling
• Data modeling
• Scientific modeling
• Unified Modeling Language
• Modeling language
• Process management
• Systems engineering
• Entity-relationship model

A unified approach to cirrus microphysics, remote sensing and climate prediction, and its impact in a climate model Anthony Baran, Peter Hill, Jerome Vidot (Meteo France), Kalli Furtado & Paul Field Met Office, Exeter, U

Source URL: ams.confex.com

• CALIPSO
• Environmental science
• French space program
• Cloud
• CI
• Spectrum
• Parametrization
• Spacecraft
• Spaceflight
• Earth

On Scenario Synchronization Duc-Hanh Dang1 , Anh-Hoang Truong1 , and Martin Gogolla2 1 University of Engineering and Technology, Vietnam National University of Hanoi,

Source URL: www.db.informatik.uni-bremen.de

• UML diagrams
• Infographics
• Theoretical computer science
• Models of computation
• Graph rewriting
• State diagram
• Activity diagram
• Graph
• Unified Modeling Language
• Graph theory
• Diagrams
• Mathematics

Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it

Source URL: www.inf.unibz.it

• Ontology
• Semantic Web
• Logic programming
• Non-classical logic
• Model theory
• Description logic
• Web Ontology Language
• Stable model semantics
• Semantic Web Rule Language
• Logic
• Science
• Mathematical logic

VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

Source URL: www.db.informatik.uni-bremen.de

• Software
• Graph rewriting
• VIATRA
• Formal methods
• Logic in computer science
• Object Constraint Language
• Model transformation language
• Kermeta
• Formal verification
• Unified Modeling Language
• Systems engineering
• Software engineering